1. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
2. Logical Foundations of Computer Science
پدیدآورنده : \ Sergei Artemov , Anil Nerode (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگرهها ,منطق کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L6
2015
E-Book
,
